Skip to content

Conversation

@davep
Copy link
Owner

@davep davep commented Apr 24, 2025

Closes #10.

@davep davep added Enhancement New feature or request TODO A thing I'm planning on doing labels Apr 24, 2025
@davep davep self-assigned this Apr 24, 2025
@davep davep marked this pull request as ready for review April 24, 2025 07:24
@davep davep merged commit 019ed21 into main Apr 24, 2025
4 checks passed
@davep davep deleted the undo branch April 24, 2025 07:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Enhancement New feature or request TODO A thing I'm planning on doing

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add an "undo" option

2 participants